9

Verifying networks of processes that communicate via shared variables

Année:
1992
Langue:
english
Fichier:
PDF, 560 KB
english, 1992
10

A true concurrency semantics for parallel programs

Année:
1993
Langue:
english
Fichier:
PDF, 348 KB
english, 1993